Possible values: Exploring a concept for concurrency
نویسندگان
چکیده
منابع مشابه
Possible values: Exploring a concept for concurrency
An important issue in concurrency is interference. This issue manifests itself in both shared-variable and communication-based concurrency — this paper focusses on the former case where interference is caused by the environment of a process changing the values of shared variables. Rely/guarantee approaches have been shown to be useful in specifying and reasoning compositionally about concurrent...
متن کاملValues in Health Policy – A Concept Analysis
Background Despite the significant role “values” play in decision-making no definition or attributes regarding the concept have been provided in health policy-making. This study aimed to clarify the defining attributes of a concept of value and its irrelevant structures in health policy-making. We anticipate our findings will help reduce the semantic ambiguities associated with the use of “valu...
متن کاملExploring Concept Representations for Concept Drift Detection
We present an approach to estimating concept drift in online news. Our method is to construct temporal concept vectors from topicannotated news articles, and to correlate the distance between the temporal concept vectors with edits to the Wikipedia entries of the concepts. We find improvements in the correlation when we split the news articles based on the amount of articles mentioning a concep...
متن کاملAre Safe Concurrency Libraries Possible?
There has been a significant effort over the past decade in creating concurrency libraries for a number of sequential programming languages, particularly for object-oriented ones such as C++ [BLL88], Eiffel [KB93], and Smalltalk [YT86]. While the goal is laudable, this discussion shows that obtaining concurrency solely through libraries is, in general, unattainable in both shared-memory and dis...
متن کاملA Parameterized Algorithm for Exploring Concept Lattices
Kuznetsov shows that Formal Concept Analysis (FCA) is a natural framework for learning from positive and negative examples. Indeed, the results of learning from positive examples (respectively negative examples) are sets of frequent concepts with respect to a minimal support, whose extent contains only positive examples (respectively negative examples). In terms of association rules, the above ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2016
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2016.01.002